Type soundness - PDFSEARCH.IO - Document Search Engine

Type soundness
Results: 17

#	Item
11	ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-01-13 11:43:16 Mathematics Metalogic Proof theory Lambda calculus Entailment Logical consequence Normalisation by evaluation Sheaf Soundness Logic Mathematical logic Deduction
12	Soundness and its Role in Bug Detection Systems Yichen Xie Mayur Naik Brian Hackett Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-07-07 17:38:30 Proof theory Software engineering Soundness Mathematical logic Usability Programming language Type system Compiler optimization Software bug Deduction Logic Model theory
13	Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-10-12 10:57:16 Functional languages Procedural programming languages Meaning Philosophical logic Type theory ML Programming language Semantics Soundness Logic Programming language theory Software engineering
14	Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Type theory Data types Functional languages OCaml Caml ML Type system Type inference Type soundness Software engineering Programming language theory Computing
15	Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2006-10-09 03:17:38 Type theory Data types Functional languages OCaml Caml ML Type system Type inference Type soundness Software engineering Programming language theory Computing
16	ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]Efficient Software Model Checking of Soundness of Type Systems Michael Roberson Melanie Harries Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2009-03-23 19:01:00 Computer programming Primitive types Procedural programming languages Type theory Null Model checking Programming language Type system C Computing Software engineering Data types
17	Type Soundness and Race Freedom for Mezzo Thibaut Balabonski, François Pottier, and Jonathan Protzenko INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-03-13 09:25:26 Type theory Procedural programming languages Models of computation Functional programming Monad Type safety Lambda calculus Filesystem permissions Type system Software engineering Computing Programming language theory